package edu.pku.sei.act.actools;

interface IEnvEntry {
	void LWrite(in String info, long startTime, long endTime);
	void RWrite(in String info, long startTime, long endTime);
	void notifyLWrite(in String info, long startTime, long endTime);
	void notifyRWrite(in String info, long startTime, long endTime);
	void LWriteMany(in List<String> info, long startTime, long endTime);
	void RWriteMany(in List<String> info, long startTime, long endTime);
	void notifyLWriteMany(in List<String> info, long startTime, long endTime);
	void notifyRWriteMany(in List<String> info, long startTime, long endTime);
	
	String LRead(in String info);
	String RRead(in String info);
	List<String> LReadMany(in String info);
	List<String> RReadMany(in String info);
	
	String LTake(in String info);
	String RTake(in String info);
	List<String> LTakeMany(in String info);
	List<String> RTakeMany(in String info);
	
	String getIdentity();
}